Skip to content

[main] Source code updates from dotnet/dotnet#12987

Merged
dotnet-maestro[bot] merged 2 commits intomainfrom
darc-main-d229b213-8254-4000-ba96-60a47a9a2d2a
Jan 12, 2026
Merged

[main] Source code updates from dotnet/dotnet#12987
dotnet-maestro[bot] merged 2 commits intomainfrom
darc-main-d229b213-8254-4000-ba96-60a47a9a2d2a

Conversation

@dotnet-maestro
Copy link
Contributor

@dotnet-maestro dotnet-maestro bot commented Jan 8, 2026

Note

This is a codeflow update. It may contain both source code changes from
the VMR
as well as dependency updates. Learn more here.

This pull request brings the following source code changes

From https://github.com/dotnet/dotnet

Associated changes in source repos

Diff the source with this PR branch 
darc vmr diff --name-only https://github.com/dotnet/dotnet:896160ec9eb0fdb1c019f698b39fa0923c9a316c..https://github.com/dotnet/msbuild:darc-main-d229b213-8254-4000-ba96-60a47a9a2d2a

@dotnet-maestro dotnet-maestro bot requested a review from a team as a code owner January 8, 2026 02:04
@dotnet-maestro
Copy link
Contributor Author

dotnet-maestro bot commented Jan 11, 2026

Important

While this PR was open, the source repository has received code changes from this repository (an opposite codeflow merged).
To avoid complex conflicts, the codeflow cannot continue until this PR is closed or merged.

You can continue with one of the following options:

  • Ignore this and merge this PR as usual without waiting for the new changes.
    Once merged, Maestro will create a new codeflow PR with the new changes.
  • Close this PR and wait for Maestro to open a new one with old and new changes included.
    You will lose any manual changes made in this PR.
    You can also manually trigger the new codeflow right away by running: 
    darc trigger-subscriptions --id 91fa59f1-1864-46b1-b482-87955691317c
  • Force a codeflow into this PR at your own risk if you want the new changes.
    User commits made to this PR might be reverted. 
    darc trigger-subscriptions --id 91fa59f1-1864-46b1-b482-87955691317c --force

💡 You may consult the FAQ for more information or tag @dotnet/prodconsvcs for assistance.

@dotnet-maestro dotnet-maestro bot merged commit 712f8ef into main Jan 12, 2026
16 checks passed
@dotnet-maestro dotnet-maestro bot deleted the darc-main-d229b213-8254-4000-ba96-60a47a9a2d2a branch January 12, 2026 16:35
@dotnet-maestro dotnet-maestro bot mentioned this pull request Jan 13, 2026
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@GangWang01 GangWang01 GangWang01 approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@GangWang01